Daniel R. Licata Personal Information: E-mail:

Source URL: dlicata.web.wesleyan.edu

• Type theory
• International Conference on Functional Programming
• Programming language theory
• Homotopy type theory
• Twelf
• Dependent type
• Logical framework
• Functional programming
• SIGPLAN
• Programming language
• Symposium on Principles of Programming Languages
• Agda

TURBO PASCAi.: PROCEDURES AND FUNCTIONS Abs (Num) : real or integer; ........... Returns the absolute value of a number. Addr (Var) : pointer; ..................... Returns the address of a variable. Append (FilVar); ...

Source URL: dl.dropboxusercontent.com

• Computing
• Software engineering
• Computer programming
• Data types
• Object-oriented programming languages
• Type theory
• Pointer
• Scala
• Lookup table
• Pascal
• More
• Variable

Cubical Type Theory Free bounded distributive lattice The free distributive lattice on a set J can be described as the set of finite antichains in the poset of finite subsets of J, for the order L 6 M if, and only if, f

Source URL: www.cse.chalmers.se

4 Martin-L¨of Type Theory with a Single Universe Based on our observation that type-theory can be applied to the study of logical systems (and vice-versa), we can attempt to generalize this correspondence: in

Source URL: www.andrew.cmu.edu

TYPES ARE WEAK ω-GROUPOIDS BENNO VAN DEN BERG AND RICHARD GARNER Abstract. We define a notion of weak ω-category internal to a model of Martin-L¨ of type theory, and prove that each type bears a canonical weak ω-cate

Source URL: staff.fnwi.uva.nl

Logical Methods in Computer Science Volume 00, Number 0, Pages 000–000 SXX λ -RBAC: PROGRAMMING WITH ROLE-BASED ACCESS CONTROL RADHA JAGADEESAN, ALAN JEFFREY, CORIN PITCHER, AND JAMES RIELY

Source URL: ect.bell-labs.com

• Type theory
• Algebraic geometry
• Computability theory
• Lambda calculus
• Theoretical computer science
• Role-based access control
• Valuation
• Subtyping
• Monad
• CurryHoward correspondence

Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers

Source URL: typessummerschool07.cs.unibo.it

Nested General Recursion and Partiality in Type Theory Ana Bove1 and Venanzio Capretta2 1 Department of Computing Science, Chalmers University of Technology

Source URL: www.duplavis.com

c Cambridge University Press 2010 JFP 20 (3 & 4): 271–302, 2010.  271 doi:S095679681000016X First published online 29 September 2010

Source URL: publications.lib.chalmers.se

• Software engineering
• Computer programming
• Computing
• Type theory
• Functional programming
• Data types
• Generic programming
• C++
• Type class
• Glasgow Haskell Compiler
• Monad
• Haskell

A type theory for productive coprogramming via guarded recursion Rasmus Ejlers Møgelberg IT University of Copenhagen Denmark

Source URL: www.itu.dk